Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig

Source URL: www.pepper-project.org

• Cryptography
• Computational complexity theory
• Randomized algorithms
• Complexity classes
• Probabilistically checkable proof
• Proof theory
• IP
• NP
• NEXPTIME
• Soundness
• PCP theorem
• Commitment scheme

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Computing
• Data management
• Data
• Knowledge representation
• Semantic Web
• Resource Description Framework
• Query languages
• Data Catalog Vocabulary
• SPARQL
• RDF query language
• Ontotext
• Linked data

Dr. Bremley W. B. Lyngdoh, Founder and Chief Executive of Worldview Impact Foundation Member of the Advisory Board Website: www.artport-project.org

Source URL: artport-project.org

• Natural environment
• Sustainable development
• Sustainable design
• Environmental design
• Charities
• Non-governmental organization

The future is here Project Ubin: SGD on Distributed Ledger A report developed with the contributions of Bank of America Merrill Lynch, BCS Information Systems, Credit Suisse, DBS Bank, HSBC, J.P. Morgan, Mitsubishi UFJ F

Source URL: www.mas.gov.sg

• Blockchains
• Cryptocurrencies
• Concurrent computing
• Computing
• Economy
• Alternative currencies
• Bitcoin
• Distributed computing
• Distributed ledger
• R3
• DLT
• Digital currency

Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at

Source URL: www.pepper-project.org

• Computational complexity theory
• Logic
• Mathematics
• Randomized algorithms
• Automated theorem proving
• Logic programming
• Probabilistically checkable proof
• IP
• NP
• Substitution
• MAX-3SAT
• operator

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement NoTheam has been selected as one of the brightest “Big Data” startups in Eur

Source URL: s3-eu-west-1.amazonaws.com

• Economy
• Business
• EDI
• Startup company
• Sonae

Partnership Programme Research Project for CULTURAL HERITAGE THE CHALLENGE

Source URL: www.collage.com.ro

• Museology
• Humanities
• Culture
• Conservation and restoration
• Collections care
• Art history
• Cultural heritage
• Conservation-restoration of cultural heritage
• Conservator-restorer
• Collections management
• Heritage science
• Diagnosis

The SCAR Project Semantic Coloring of Academic References Angelo Di Iorio1, Freddy Limpens1, Agata Rotondi1, Pascal Coupet2, Georgios Tsatsaronis2 1DASPLab - Digital and Semantic Publishing Laboratory (University of Bolo

Source URL: workshop-oc.github.io

• Computing
• Web services
• Web standards
• Data
• Knowledge representation
• Semantic Web
• Resource Description Framework
• SPARQL
• Part-of-speech tagging
• Training
• test
• and validation sets

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Cloud computing
• Computing
• IT infrastructure
• Cloud infrastructure
• As a service
• Platform as a service
• Microsoft Azure
• Specification
• Deliverable

Eleonora Isunza de Pech Function: Project coordinator Mexico Website: www.artport-project.org Eleonora Isunza de Pech is co-director of Cinema Planeta, the International Environmental Film Festival in Mexico and recipien

Source URL: artport-project.org